Title	Model-Based Product Redesign
Author	LI Zhan-Shan, KOU Fei-hong, Cheng Xiao-chun, Wang Tao
Citation	Vol. 6  No. 1  pp. 99~102
Keywords	model-based reasoning, design conflict, redesign

Title	High Performance Elliptic Curve GF(2m) Cryptoprocessor Secure Against Timing Attacks
Author	Turki F. Al-Somani, M. K. Ibrahim
Citation	Vol. 6  No. 1  pp. 177~183
Keywords	Elliptic Curves Cryptosystems, Mixed Coordinates, Parallel Designs, Normal Basis

Title	Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author	Satoshi Yamane
Citation	Vol. 6  No. 1  pp. 192~203
Keywords	Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling

Title	A Processor Development Environment C-DASH
Author	Hideaki Yanagisawa, Minoru Uehara, Hideki Mori
Citation	Vol. 6  No. 1  pp. 227~233
Keywords	ISA (Instruction Set Architecture), HW/SW Codesign (A Processor Development Environment), C-DASH (C-like Design Automation Shell, HDL (Hardware Description Language)